class C {+p:T}
